| Real time scheduling of workflow management systems based on a p-time petri net model with hybrid resources S Julia, FF de Oliveira, R Valette Simulation Modelling Practice and Theory 16 (4), 462-482, 2008 | 54 | 2008 |
| Real time scheduling of batch systems S Julia, R Valette Simulation Practice and Theory 8 (5), 307-319, 2000 | 37 | 2000 |
| Real-time scheduling of batch systems using Petri nets and linear logic M dos Santos Soares, S Julia, J Vrancken Journal of Systems and Software 81 (11), 1983-1996, 2008 | 31 | 2008 |
| Qualitative analysis of workflow nets using linear logic: Soundness verification LMS Passos, S Julia 2009 IEEE International Conference on Systems, Man and Cybernetics, 2843-2847, 2009 | 25 | 2009 |
| Game modeling using WorkFlow nets GW De Oliveira, S Julia, LMS Passos 2011 IEEE International conference on systems, man, and cybernetics, 838-843, 2011 | 24 | 2011 |
| A p-time hybrid Petri net model for the scheduling problem of workflow management systems S Julia, FF de Oliveira 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat …, 2004 | 19 | 2004 |
| Modeling and analysis of video games based on workflow nets and state graphs FM Barreto, S Julia Proceedings of 24th Annual International Conference on Computer Science and …, 2014 | 14 | 2014 |
| Fuzzy continuous resource allocation mechanisms in workflow management systems JC Jeske, S Julia, R Valette 2009 XXIII Brazilian Symposium on Software Engineering, 236-251, 2009 | 10 | 2009 |
| Scheduling batch systems using a token player algorithm S Julia, R Valette, JM Fernandes SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems …, 1998 | 10 | 1998 |
| Qualitative analysis of interorganizational workflow nets using linear logic: Soundness verification LMS Passos, S Julia 2013 IEEE 25th International Conference on Tools with Artificial …, 2013 | 9 | 2013 |
| Modeling of video games using workflow nets and state graphs FM Barreto, S Julia Proceedings of the XXXI Brazilian Symposium on Software Engineering, 261-266, 2017 | 8 | 2017 |
| Deadlock-freeness scenarios detection in web service composition LMS Passos, S Julia 2015 12th International Conference on Information Technology-New Generations …, 2015 | 8 | 2015 |
| Linear logic as a tool for qualitative and quantitative analysis of workow processes LM Soares Passos, S Julia International Journal on Artificial Intelligence Tools 25 (03), 1650008, 2016 | 6 | 2016 |
| Linear logic as a tool for deadlock-freeness scenarios detection in interorganizational workflow processes LMS Passos, S Julia 2014 IEEE 26th International Conference on Tools with Artificial …, 2014 | 6 | 2014 |
| Conception et pilotage de cellules flexibles à fonctionnement répétitif modélisés par réseaux de Petri S Julia Université Paul Sabatier-Toulouse III, 1997 | 6 | 1997 |
| Formal approach based on Petri nets for modeling and verification of video games FM Barreto, S Julia Computing and Informatics 40 (1), 216–248-216–248, 2021 | 5 | 2021 |
| Possibilistic workflow nets to deal with non-conformance in process execution LP de Rezende, S Julia, J Cardoso 2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2012 | 5 | 2012 |
| Verification of real time UML specifications through a specialized inference mechanism based on a token player algorithm and the sequent calculus of linear logic S Julia, MS Soares Proceedings of the 15th European Simulation Symposium (ESS 2003), 65-70, 2003 | 5 | 2003 |
| A timed petri net model to specify scenarios of video games FM Barreto, JCJ de Freitas, S Julia Information Technology-New Generations: 15th International Conference on …, 2018 | 4 | 2018 |
| Constraint analysis based on energetic reasoning applied to the problem of real time scheduling of workflow management systems FF Medeiros, S Julia International Conference on Enterprise Information Systems 2, 373-380, 2017 | 4 | 2017 |
