On weighted T-systems E Teruel, P Chrzastowski-Wachtel, JM Colom, M Silva Application and Theory of Petri Nets 1992: 13th International Conference …, 1992 | 164 | 1992 |
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 | 107 | 2003 |
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 | 25 | 1996 |
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 | 20 | 1993 |
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 | 13 | 2003 |
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 | 8 | 1999 |
Determining Sound Markings in Structured Nets. P Chrzastowski-Wachtel Fundam. Informaticae 72 (1-3), 65-79, 2006 | 7 | 2006 |
Sound markings in structured nets P Chrzastowski-Wachtel Proc. of Concurrency, Specification and Programming (CS&P’2005). Warsaw …, 2005 | 7 | 2005 |
A Maple package for conditional event algebras P Chrzastowski-Wachtel, J Tyszkiewicz International Workshop on Conditionals, Information, and Inference, 131-151, 2002 | 6 | 2002 |
Top-down Petri Net Based Approach to Dynamic Workflow Modeling (Work in Progress) P Chrzastowski-Wachtel University of New South Wales, Sydney, 2002 | 6 | 2002 |
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 | 5 | 2008 |
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 | 5 | 2001 |
On generating*-sound nets with substitution J Sroka, P Chrzastowski-Wachtel, J Hidders 2011 Eleventh International Conference on Application of Concurrency to …, 2011 | 4 | 2011 |
Recovery Nets: Model for Dynamic Workflows P Chrzastowski-Wachtel Proceedings of the 13th Workshop on Concurrency, Specification, and …, 2002 | 3 | 2002 |
Generalizations of liveness and fairness properties P Chrzastowski-Wachtel DAIMI Report Series, 1985 | 3 | 1985 |
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 | 1 | 2019 |
IRS-MT: Tool for Intelligent Resource Allocation. P Chrzastowski-Wachtel, J Rauch Susanna Donatelli, Jetty Kleijn, Ricardo J. Machado, Joao M. Fernandes (eds …, 2012 | 1 | 2012 |
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, ... | | |