Segui
Piotr Chrzastowski-Wachtel
Piotr Chrzastowski-Wachtel
docent at Institute of Informatics, Warsaw University
Email verificata su mimuw.edu.pl - Home page
Titolo
Citata da
Citata da
Anno
On weighted T-systems
E Teruel, P Chrzastowski-Wachtel, JM Colom, M Silva
Application and Theory of Petri Nets 1992: 13th International Conference …, 1992
1631992
A top-down petri net-based approach for dynamic workflow modeling
A ter Hofstede, P Chrzastowski-Wachtel, B Benatallah, R Hamadi, ...
Business Process Management: International Conference, BPM 2003 Eindhoven …, 2003
1072003
A Diophantine problem of Frobenius in terms of the least common multiple
M Raczunas, P Chrza̧stowski-Wachtel
Discrete Mathematics 150 (1-3), 347-357, 1996
251996
Liveness of weighted circuits and the Diophantine problem of Frobenius
P Chrzastowski-Wachtel, M Raczunas
Fundamentals of Computation Theory: 9th International Conference, FCT'93 …, 1993
201993
Hiword: A petri net-based hierarchical workflow designer
B Benatallah, P Chrzastowski-Wachtel, R Hamadi, M O'Dell, A Susanto
Third International Conference on Application of Concurrency to System …, 2003
132003
Testing undecidability of the reachability in Petri nets with the help of 10th Hilbert problem
P Chrząstowski-Wachtel
Application and Theory of Petri Nets 1999: 20th International Conference …, 1999
81999
Determining Sound Markings in Structured Nets.
P Chrzastowski-Wachtel
Fundam. Informaticae 72 (1-3), 65-79, 2006
72006
Sound markings in structured nets
P Chrzastowski-Wachtel
Proc. of Concurrency, Specification and Programming (CS&P’2005). Warsaw …, 2005
72005
A Maple package for conditional event algebras
P Chrzastowski-Wachtel, J Tyszkiewicz
International Workshop on Conditionals, Information, and Inference, 131-151, 2002
62002
Top-down Petri Net Based Approach to Dynamic Workflow Modeling (Work in Progress)
P Chrzastowski-Wachtel
University of New South Wales, Sydney, 2002
52002
Definability of connectives in conditional event algebras of Schay–Adams–Calabrese and Goodman–Nguyen–Walker
P Chrzastowski-Wachtel, J Tyszkiewicz, A Hoffmann, A Ramer
Information processing letters 79 (4), 155-160, 2001
52001
On generating*-sound nets with substitution
J Sroka, P Chrzastowski-Wachtel, J Hidders
2011 Eleventh International Conference on Application of Concurrency to …, 2011
42011
VIPER, a student-friendly visual interpreter of pascal
M Adamaszek, P Chrzastowski-Wachtel, A Niewiarowska
International Conference on Informatics in Secondary Schools-Evolution and …, 2008
42008
Generalizations of liveness and fairness properties
P Chrzastowski-Wachtel
DAIMI Report Series, 1985
41985
Recovery Nets: Model for Dynamic Workflows
P Chrzastowski-Wachtel
Proceedings of the 13th Workshop on Concurrency, Specification, and …, 2002
32002
Petri meta-compiler-a recursive approach to system design and development
P Chrząstowski-Wachtel, M Doleżek, P Greipner, T Wójcicki, D Moldt, ...
Petri Nets and Software Engineering. International Workshop, PNSE'19, Aachen …, 2019
12019
IRS-MT: Tool for Intelligent Resource Allocation.
P Chrzastowski-Wachtel, J Rauch
Susanna Donatelli, Jetty Kleijn, Ricardo J. Machado, Joao M. Fernandes (eds …, 2012
12012
On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality
J Sroka, P Chrząstowski-Wachtel, J Hidders
Fundamenta Informaticae 141 (4), 367-398, 2015
2015
Flash Crowd Prediction
G Pierre, M Szymaniak, P Chrzastowski-Wachtel
2006
This booklet contains the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’09) in Paris, France, June 22-23, 2009. It is a satellite event …
W van der Aalst, P Buchholz, D Buchs, P Chrzastowski-Wachtel, G Ciardo, ...
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20